Llistar TÃtols
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
Programació per restriccions (Informà tica) -- Congressos Constraint programming (Computer science) -- Congresses
Kirchweger, Markus Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica Szeider, Stefan